$\vdash$  $\forall$$A$,$B$,$C$:Type. S $\in$ ($A$$\rightarrow$$B$$\rightarrow$$C$)$\rightarrow$($A$$\rightarrow$$B$)$\rightarrow$$A$$\rightarrow$$C$